Commentary by Chris Pressey
===========================

<!--
Copyright (c) 2024 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit
exception: the ratings may be freely used for any purpose with no limitations.

Logic Programming
---------------

### Programming with Higher-Order Logic

*   rating: TODO

.

### The Semantics of Predicate Logic as a Programming Language

*   rating: classic

.

### prolog - What are the best uses of Logic Programming? - Stack Overflow

*   rating: 1

.

### prolog - How to implement fully-declarative Horn logic? - Stack Overflow

*   rating: 1

.

### Dept. of Computing, Imperial College, London: Robert Kowalski Home Page

*   rating: 1

.